| Gordon D. Plotkin | |
|---|---|
| Born | 9 September 1946 Glasgow |
| Residence | Scotland |
| Nationality | British |
| Fields | logician, computer scientist, mathematician |
| Institutions | University of Edinburgh |
| Alma mater | Edinburgh |
| Doctoral advisor | Rod Burstall |
| Doctoral students | Luca Cardelli (1982) Marcelo Fiore (1994) Philippa Gardner (1992) Martin Hofmann (1995) John Longley (1995) Eugenio Moggi (1988) Mohammad Reza Mousavi (2005) Michael D. Pedersen (2010) David Pym (1990) Alex Simpson (1994) Lǐ Wèi Glynn Winskel (1980) |
Gordon D. Plotkin, FRS, FRSE (born 9 September 1946, in Glasgow) is a Scottish computer scientist.
Gordon Plotkin is best-known for his introduction of structural operational semantics (SOS) and his work on denotational semantics. In particular, his notes on A Structural Approach to Operational Semantics of 1981 were very influential. He has contributed to many other areas of computer science.
Plotkin is now Professor of Theoretical Computer Science in the School of Informatics at The University of Edinburgh.
Contents |
Plotkin received his PhD in 1972 from the University of Edinburgh,[1] where he studied under Rod Burstall. He has remained at Edinburgh, and was, with Burstall and Milner, a co-founder of the Laboratory for Foundations of Computer Science (LFCS).
He was elected a Fellow of the Royal Society in 1992, is a Fellow of the Royal Society of Edinburgh and a Member of the Academia Europæa. He is also a winner of the Royal Society Wolfson Research Merit Award.